Historical Memorandum 計算のモデルとコンピュータ